Thomas Kropf: mencari di tapak web Z-Library

Sumbangan 15 hb September 2024 – 1 hb Oktober 2024 Mengenai pengumpulan sumbangan

Akses percuma kepada pengetahuan dan budaya.

Sumbangan 15 hb September 2024 – 1 hb Oktober 2024

Z-Library - salah satu perpustakaan dalam talian terbesar di dunia yang menyimpan lebih daripada 17,000,000 buku dan 84,837,000 artikel. Kami bertujuan untuk buku boleh diakses oleh semua orang. Hari ini (15 hb September 2024) kami memulakan pengumpulan dana tambahan untuk menyokong dan mengembangkan projek.

Tambah lagi muat turun TANPA HAD (untuk 31 hari sejak menghantar sumbangan) boleh diakses oleh SEMUA pengguna yang menyumbangkan selama tempoh pengumpulan sumbangan hingga 1 hb Oktober 2024.

Mengenai pengumpulan sumbanganBaca lebih lanjut

Buku (9)
Yang paling popular
Senarai
- Senarai
- Jadual

1

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Kropf (auth.), Yves Bertot, Gilles Dowek, Laurent Théry, André Hirschowitz, Christine Paulin (eds.)

Tahun:

1999

Bahasa:

english

Fail:

PDF, 3.53 MB

0 / 0

english, 1999

2

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Kropf (auth.), Yves Bertot, Gilles Dowek, Laurent Théry, André Hirschowitz, Christine Paulin (eds.)

Tahun:

1999

Bahasa:

english

Fail:

PDF, 3.24 MB

0 / 0

english, 1999

3

Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings

Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Gérard Berry (auth.), Laurence Pierre, Thomas Kropf (eds.)

Tahun:

1999

Bahasa:

english

Fail:

PDF, 4.53 MB

0 / 0

english, 1999

4

Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings

Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Gérard Berry (auth.), Laurence Pierre, Thomas Kropf (eds.)

Tahun:

1999

Bahasa:

english

Fail:

PDF, 4.67 MB

0 / 0

english, 1999

5

Kommunikative Funktionen des Dialekts im Unterricht: Theorie und Praxis in der deutschen Schweiz

Kommunikative Funktionen des Dialekts im Unterricht: Theorie und Praxis in der deutschen Schweiz

Max Niemeyer Verlag

Tahun:

1986

Bahasa:

german

Fail:

PDF, 13.78 MB

0 / 0

german, 1986

6

Introduction to Formal Hardware Verification

Introduction to Formal Hardware Verification

Springer-Verlag Berlin Heidelberg

Dr. Thomas Kropf (auth.)

Tahun:

1999

Bahasa:

english

Fail:

PDF, 6.27 MB

0 / 0

english, 1999

7

Formal Hardware Verification: Methods and Systems in Comparison

Formal Hardware Verification: Methods and Systems in Comparison

Springer-Verlag Berlin Heidelberg

Scott Hazelhurst, Carl-Johan H. Seger (auth.), Thomas Kropf (eds.)

Tahun:

1997

Bahasa:

english

Fail:

DJVU, 3.14 MB

0 / 3.0

english, 1997

8

Theorem Provers in Circuit Design: Theory, Practice and Experience Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 26–28, 1994 Proceedings

Theorem Provers in Circuit Design: Theory, Practice and Experience Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 26–28, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Kropf (auth.), Ramayya Kumar, Thomas Kropf (eds.)

Tahun:

1995

Bahasa:

english

Fail:

DJVU, 3.04 MB

0 / 0

english, 1995

9

Theorem Provers in Circuit Design: Theory, Practice and Experience Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 26–28, 1994 Proceedings

Theorem Provers in Circuit Design: Theory, Practice and Experience Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 26–28, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Kropf (auth.), Ramayya Kumar, Thomas Kropf (eds.)

Tahun:

1995

Bahasa:

english

Fail:

PDF, 4.57 MB

0 / 0

english, 1995